Theoremproving system

[计] 定理证明系统

🧩 词语组成解析

theoremproving
[计] 定理证明
system ['sɪstəm]
n. 体系,系统;制度;身体;方法;
sy(syn-=together)+ste(to stand)→系统;体系;秩序;制度;方法

🗣️ 情景例句

Sit down. Sit down.
请坐。请坐吧。
That's good wisdom which is wisdom in the end.
最后的聪明才算真聪明。
You mean it looks strange!
你的意思是这看起来很奇怪吧!
更多情景英语 ›

🔤 更多 T 开头的单词

全部 T 开头单词 ›